Rigorous modeling and analysis of interoperable medical devices
نویسندگان
چکیده
Medical Devices (MDs) are by definition safety-critical and increasingly also become security-critical when interoperating, i.e., when communicating in some form. Finding errors, inconsistencies, or vulnerabilities in MDs before deployment can significantly decrease costs, and increase quality and reliability. In this paper, we present a rigorous “correct-byconstruction” approach for modeling and analyzing interoperating MDs by considering various abstraction levels, i.e., the functional, the safety, and the security level. The approach is illustrated using sample requirements of a hemodialysis device.
منابع مشابه
Error Type Refinement for Assurance of Families of Platform-Based Systems (Extended Version)
Medical Application Platforms (MAPs) are an emerging paradigm for developing interoperable medical systems. Existing assurancerelated concepts for conventional medical devices including hazard analyses, risk management processes, and assurance cases need to be enhanced and reworked to deal with notions of interoperability, reuse, and compositionality in MAPs. In this paper, we present the motiv...
متن کاملRequirement Engineering for Functional Alarm System for Interoperable Medical Devices
This paper addresses the problem of high-assurance operation for medical cyber-physical systems built from interoperable medical devices. Such systems are diferent from most cyber-physical systems due to their "plugand-play" nature: they are assembled as needed at a patient's bedside according to a specification that captures the clinical scenario and required device types. We need to ensure th...
متن کاملSecurity and Interoperable Medical Device Systems, Part 2: Failures, Consequences and Classifications
Interoperable medical devices (IMDs) face threats due to the increased attack surface presented by interoperability and the corresponding infrastructure. Introducing networking and coordination functionalities fundamentally alters medical systems' security properties. Understanding the threats is an important first step in eventually designing security solutions for such systems. Part 2 of this...
متن کاملPlug-and-play for medical devices: experiences from a case study.
Medical devices are pervasive throughout modern healthcare, but each device works on its own and in isolation. Interoperable medical devices would lead to clear benefits for the care provider and the patient, such as more accurate assessment of the patient’s health and safety interlocks that would enable error-resilient systems. The Center for Integration of Medicine & Innovative Technology (ww...
متن کاملModeling a Smart Hospital Information Architecture Based on Internet of Things and Recommender Agent
Introduction: Today, healthcare organizations worldwide are aware of the significance of technology and its impact on the quality of care. Hospitals are one of the most crucial systems in which the utilization of information is particularly important for several reasons. Using discrete-event simulation and developing a recommender agent, this study aimed to allocate IoT devices to patients in s...
متن کامل